Epistemic modal logic - PDFSEARCH.IO - Document Search Engine

Epistemic modal logic
Results: 239

#	Item
51	Belief Change and Cryptographic Protocol Verification Aaron Hunter and James P. Delgrande School of Computing Science Simon Fraser University Burnaby, BC, Canada {amhunter, jim}@cs.sfu.ca Add to Reading List Source URL: www.cs.sfu.ca Language: English - Date: 2008-05-19 14:54:15 Burrows–Abadi–Needham logic Belief revision Epistemic modal logic Communications protocol Deniable authentication IP Cryptographic protocols Data Information
52	A First-Order Theory of Communicating First-Order Formulas Ernest Davis∗ Courant Institute New York University Add to Reading List Source URL: www.cs.nyu.edu Language: English - Date: 2004-10-07 15:48:12 Entailment Logical consequence Metalogic Modal logic Epistemic modal logic Unexpected hanging paradox Strength of materials Logic Philosophical logic Deduction
53	Varieties of Belief and Probability Jan van Eijck 1 CWI and ILLC Amsterdam Abstract Add to Reading List Source URL: homepages.cwi.nl Language: English - Date: 2015-03-16 07:37:33 Probability theory Knowledge Bayesian statistics Probability Bayesian probability Epistemic modal logic If and only if Mathematics Probability and statistics Science
54	Epistemic Logic: : Annotated Bibliography Ernest Davis∗ New York University New York, New York Leora Morgenstern Add to Reading List Source URL: www.cs.nyu.edu Language: English - Date: 2006-09-12 16:22:28 Reasoning Non-classical logic Logic programming Artificial intelligence Epistemic modal logic Rohit Jivanlal Parikh Common knowledge Non-monotonic logic Modal logic Logic Science Mathematical logic
55	Rationality and Common Knowledge Herbert Gintis September 10, Introduction Interactive epistemology is the study of the distribution of knowledge among rational agents, using modal logic in the tradition of Hinti Add to Reading List Source URL: www.umass.edu Language: English - Date: 2009-09-10 13:40:36 Propositional calculus Common knowledge Game theory Knowledge Epistemic modal logic Modal logic Epistemology Entailment Interpretation Logic Mathematical logic Philosophical logic
56	Towards Model Checking Cryptographic Protocols with Dynamic Epistemic Logic Malvin Gattinger1 and Jan van Eijck2 1 2 Add to Reading List Source URL: homepages.cwi.nl Language: English - Date: 2015-03-25 11:31:05 Model theory Philosophical logic Modal logic Interpretation Constructible universe Kripke semantics If and only if Golden ratio Valuation Logic Mathematical logic Mathematics
57	Elements of Epistemic Crypto Logic (Extended Abstract) Jan van Eijck Malvin Gattinger Add to Reading List Source URL: homepages.cwi.nl Language: English - Date: 2015-03-16 08:58:37 Model theory Modal logic Non-classical logic Kripke semantics Entailment Structure Epistemic modal logic Linear temporal logic Μ operator Logic Mathematical logic Philosophical logic
58	Knowledge, Belief, Probabilities, Updates, Model Checking Jan van Eijck CWI & ILLC, Amsterdam LoLaCo Guest Lecture, Nov 17, 2014 Add to Reading List Source URL: homepages.cwi.nl Language: English - Date: 2014-12-01 04:48:09 Philosophy of mathematics Statistical inference Bayesian statistics Probability interpretations Artificial intelligence Statistical hypothesis testing Bayesian probability German tank problem Epistemic modal logic Statistics Science Logic
59	Belief, Probabilities, Updates, and Model Checking Jan van Eijck CWI & ILLC, Amsterdam October 2, 2014 Abstract Add to Reading List Source URL: homepages.cwi.nl Language: English - Date: 2014-12-01 03:26:40 Modal logic Knowledge Epistemology Epistemic modal logic Logic Branches of philosophy Philosophy Science
60	Dynamic Logic for Security (DYLOS) Abstract The research proposed in this document focuses on the application of dynamic logic in the analysis and design of security protocols. We adopt the intentional approach of multi Add to Reading List Source URL: www.cs.rug.nl Language: English - Date: 2009-02-27 08:29:43 Modal logic Logic in computer science Non-classical logic Philosophical logic Artificial intelligence Epistemic modal logic Burrows–Abadi–Needham logic Temporal logic Dynamic logic Logic Mathematical logic Mathematics